منابع مشابه
INKA : The Next
The INKA system is a rst-order theorem prover with induction based on the explicit induction paradigm. Since 1986 when a rst version of the INKA system was developed there have been many improvements. In this description we will give a short overview of the current system state and its abilities.
متن کاملManagement Accounting Practices and Assemblages
The roles of accounting in shaping the economy are currently being rediscovered by This recent revival of interest in accounting marks a further stage in a curious pattern of alternate attention and neglect on the part of sociologists towards the practices that make the economy visible and measurable qua economy. This paper reviews the different ways in which accounting has been given a wider s...
متن کاملUnusual Accounting Practices in Archaic Mesopotamian Tablets
§1.1. The archaic texts examined in this paper all come from the earlier Erlenmeyer Collection. As is widely known, this tablet collection was auctioned off in December of 1988 by the London auction house Christie’s, and the majority of them were purchased by the State of Berlin and transferred to the Vorderasiatisches Museum as a permanent loan. Many of the tablets are fully preserved and in v...
متن کاملManagement Accounting Practices Reflected in Job Advertisements
Purpose – To identify differences between employer expectations and educational pedagogy of the skills set appropriate for management accountants. Design/methodology/approach – The data was derived from job advertisements by employers seeking management accountants in Australasian organisations. Findings A total of 36 practices were identified within the management accounting job advertisements...
متن کاملINKA: Ten years after the first ideas
Ten years ago, we wrote an ICSSEA paper on the use of constraint (logic) programming to automatically generate white-box test data for imperative programs. This work opened the road to several research and development projects on this topic and led us to the design of INKA a software test data generator for C/C++. Ten years later, where are we? This paper proposes to review the advances we made...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science
سال: 2005
ISSN: 0036-8075,1095-9203
DOI: 10.1126/science.310.5756.1903d